1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Programming language theory
• Type theory
• Data types
• Functional languages
• Functional programming
• Procedural programming languages
• Standard ML
• Algebraic data type
• Tagged union
• Unification

Extracting Software Product Lines: A Case Study Using Conditional Compilation Marcus Vinicius Couto Institute of Informatics, PUC Minas Belo Horizonte, Brazil

Source URL: argouml-spl.tigris.org

• Aspect-oriented software development
• ArgoUML
• Software metrics
• Feature-oriented programming
• Feature model
• UML tool
• STING
• Product family engineering
• Preprocessor
• Source lines of code
• Aspect-oriented programming
• SPL

Press Release: Paladin Data Systems Paladin Data Systems Launches New Corporate and Software Products Websites New corporate and product websites feature responsive web design with a clean, uncluttered design, improved

Source URL: www.paladindata.com

Success Story: CPU Tech Differentiating Its Security Hardware with Role- and Feature-Based Software Licensing and Entitlement Management Customer Profile: As a leading provider of anti-tamper processor solutions for the

Source URL: media.flexerasoftware.com

TEST Magazine was specifically created as a voice for the modernday software testing and quality assurance professional. Launched in 2008 and distributed to an audience over 12,000, the publication provides news, feature

Source URL: www.softwaretestingnews.co.uk

SkyDemon Flight-Planning and Navigation User Guide This documentation will take you through every significant feature of our flight-planning and navigation products. You can refer to a specific topic individually or read

Source URL: www.skydemon.aero

• Software
• Global Positioning System
• Computing
• IOS
• Smartphones
• Air traffic control
• Keyhole Markup Language
• Waypoint
• IPhone
• NOTAM
• IPad
• Google Maps

ÉLAN™ MEMBERSHIP INNOVATIVE & FEATURE-RICH SOFTWARE FOR

Source URL: www.msgl.com

Secure Software Development Security is more than a product feature. Custom software from Casaba is secure by design and by default. Why is Custom Software More Secure with Casaba? Whether you intend to build your next s

Source URL: www.casaba.com

1 ProcInt’l Computer Music Conference, U. of Miami, 11/04 Feature Extraction and Database Design for Music Software * Stephen Travis Pope1,2, Frode Holm1,3, and Alexandre Kouznetsov1,2 1: Center for Research in

Source URL: fastlabinc.com

Palermo - Italy Scianna ICAR-CNR ICAR – CNR (National ResearchAndrea Council)

Source URL: webmgs2010.como.polimi.it

• Geographic information systems
• Geographic data and information
• Software
• Geography
• Open Geospatial Consortium
• ISO/TC 211
• 3D city models
• Earth sciences graphics software
• Geodesy
• Web Feature Service
• CNR
• Web mapping